141. Foundations of intensional semantics
پدیدآورنده : [By] Chris Fox and Shalom Lappin
موضوع : Semantics.,Semantics (Philosophy),Intension (Logic),Semantics-- Data processing
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
142. Foundations of intensional semantics
پدیدآورنده : Fox, Chris
کتابخانه: کتابخانه مرکزی فرهنگستان زبان و ادب فارسی (تهران)
موضوع : ، Semantics,، Semantics )Philosophy(,، Intension )Logic(,، Semantics - Data processing
رده :
P
325
.
F6
2005
143. Foundations of parallel programming /
پدیدآورنده : David Skillicorn.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Parallel processing (Electronic computers),Parallel processing (Electronic computers),Parallelverarbeitung,Programmation parallele (informatique),Programmierung
رده :
QA76
.
58
.
S59
1994
144. Foundations of probabilistic logic programming :
پدیدآورنده : Fabrizio Riguzzi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic programming.,Probabilities-- Data processing.,COMPUTERS-- Logic Design.,Logic programming.,Probabilities-- Data processing.
رده :
QA76
.
63
.
R54
2018
145. Foundations of software science and computation structures :
پدیدآورنده : Christel Baier, Ugo Dal Lago (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
751
.
F67
2018eb
146. Fundamentals of spatial information systems /
پدیدآورنده : Robert Laurini and Derek Thompson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Geographic information systems.,Information storage and retrieval systems-- Geography.,Systèmes d'information géographique.,Analyse spatiale.,Cartografia.,Cartographie.,Geografische informatiesystemen.,Geographic information systems.,Geographic information systems.,Géographie.,Information storage and retrieval systems-- Geography.,Information storage and retrieval systems-- Geography.,Processamento de dados.,Ruimtelijke gegevens.,Systèmes d'information.,Traitement de l'information.
رده :
G70
.
2
.
L38
1992
147. Fuzzy Logic :
پدیدآورنده : W Leinfellner
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Fuzzy sets -- Congresses.,Fuzzy systems -- Congresses.
148. Geo-spatial knowledge and intelligence :
پدیدآورنده : Hanning Yuan, Jing Geng, Chuanlu Liu, Fuling Bian, Tisinee Surapunt (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Geographic information systems, Congresses.,Artificial intelligence.,Artificial intelligence.,Computer security.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Geographic information systems.,Network hardware.
رده :
G70
.
212
.
I58
2017
149. Grammatical approaches to language processing :
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Psycholinguistics.,Language Acquisition and Development.,Pragmatics.,Psycholinguistics.,Semantics.,Syntax.,LANGUAGE ARTS & DISCIPLINES-- General.,Psycholinguistics.
رده :
P37
150. Graphs in biomedical image analysis and integrating medical imaging and non-imaging modalities :
پدیدآورنده : Danail Stoyanov, Zeike Taylor, Enzo Ferrante, Adrian V. Dalca et al. (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Diagnostic imaging-- Digital techniques, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computers-- Computer Graphics.,Computers-- Data Processing.,Computers-- Information Theory.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Diagnostic imaging-- Digital techniques.,Image processing.,Mathematical theory of computation.
رده :
RC78
.
7
.
D53
151. Guide to discrete mathematics :
پدیدآورنده : Gerard O'Regan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science-- Mathematics.,Algorithms & data structures.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Data Processing.,Computers-- History.,Computers-- Logic Design.,Computers-- Programming-- General.,Computing & information technology.,Discrete mathematics.,Mathematical modelling.,Mathematics-- Applied.,Maths for computer scientists.
رده :
QA76
.
9
.
M35
152. Handbook of latent semantic analysis /
پدیدآورنده : edited by Thomas K. Landauer [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Semantics-- Data processing.,Semantics-- Mathematical models.,Semantics-- Psychological aspects.,Dataprocessing.,Natuurlijke-taalverwerking.,Semantics-- Data processing.,Semantics-- Mathematical models.,Semantics-- Psychological aspects.,Semantiek.
رده :
P325
.
5
.
D38
H36
2007
153. Health information science :
پدیدآورنده : Siuly Siuly, Ickjai Lee, Zhisheng Huang, Rui Zhou, Hua Wang, Wei Xiang (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Medical informatics, Congresses.,Medical records-- Access control, Congresses.,Medical records-- Data processing, Congresses.,Artificial Intelligence.,Health Informatics.,Image Processing and Computer Vision.,Information Systems Applications (incl. Internet).,Natural Language Processing (NLP).,Artificial intelligence.,Computers-- Computer Graphics.,Computers-- Document Management.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Natural Language Processing.,Desktop publishing.,Health & safety aspects of IT.,Image processing.,Information retrieval.,Medical-- General.,Medical informatics.,Medical records-- Access control.,Medical records-- Data processing.,Natural language & machine translation.
رده :
R858
.
A2
H57
2018eb
154. How do rogue nations threaten human rights? -- North Korea represses freedom / Kay Seok -- Iran violates women's rights / Sam Brownback -- Sudanese government engages in genocide / Human Rights Watch -- United States violates human rights worldwide / Vernon Coleman -- Rogue nations undermine the United Nations' mission to promote human rights / Joseph Loconte -- U.S. invasions have not spread democracy in the Middle East / Phyllis Bennis -- How should the global community respond to rogue nations? -- Preemptive force is sometimes necessary to contain rogue nations / National Review -- Preemptive force threatens efforts to contain rogue states / Ivan Eland -- Missile defense system is necessary to protect against rogue nations / Dennis Ross -- Missile defense system is unnecessary / Gwynne Dyer -- Promoting globalization will reduce the threat posed by rogue states / Banning N. Garrett, Dennis M. Sherman -- Globalization
پدیدآورنده : Louise Gerdes, book editor.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
155. How to design programs :
پدیدآورنده : Matthias Felleisen ... [et al.].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programming.,Electronic data processing.
رده :
QA76
.
6
.
H697
2001
156. HowNet and the computation of meaning
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : HowNet (Computer file) ; Semantics ; Data processing. ; Lexicology ; Data processing. ; Phraseology ; Data processing. ; Natural language processing (Computer science) ; Machine translating. ; Chinese language ; Data processing. ; English language ; Data
157. IPython Interactive Computing and Visualization Cookbook, Second Edition :
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Command languages.,Information visualization.,Interactive computer systems.,Python.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Data capture & analysis.,Information visualization.,Information visualization.,Interactive computer systems.
رده :
QA76
.
73
.
P98
.
R677
2018
158. Image analysis for moving organ, breast, and thoracic images :
پدیدآورنده : Danail Stoyanov, Zeike Taylor, Bernhard Kainz, Gabriel Maicas, Reinhard R. Beichel et al. (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Diagnostic imaging-- Digital techniques, Congresses.,Artificial Intelligence.,Health Informatics.,Image Processing and Computer Vision.,Information Systems and Communication Service.,Artificial intelligence.,Computer networking & communications.,Computers-- Computer Graphics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Online Services-- General.,Diagnostic imaging-- Digital techniques.,Health & safety aspects of IT.,Image processing.,Medical-- General.
رده :
RC78
.
7
.
D53
159. Image and graphics technologies and applications :
پدیدآورنده : Yongtian Wang, Zhiguo Jiang, Yuxin Peng (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer graphics, Congresses.,Computer vision, Congresses.,Image processing-- Digital techniques, Congresses.,Artificial intelligence.,Computer graphics.,Computer vision.,Computers-- Computer Graphics.,Computers-- Intelligence (AI) & Semantics.,Computers-- User Interfaces.,Education-- Computers & Technology.,Educational equipment & technology, computer-aided learning (Calif.),Image processing-- Digital techniques.,Image processing.,User interface design & usability.
رده :
TA1637
.
I38
2018eb
160. 20090601 ,Includes bibliographical references and index. 0
پدیدآورنده : 20090602 ,20090602 0
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
